Optimal. Leaf size=340 \[ \frac {d \sqrt [3]{a+b x^3}}{c^2}+\frac {(b c-3 a d) \sqrt [3]{a+b x^3}}{3 a c^2}-\frac {\left (a+b x^3\right )^{4/3}}{3 a c x^3}-\frac {(b c-3 a d) \tan ^{-1}\left (\frac {\sqrt [3]{a}+2 \sqrt [3]{a+b x^3}}{\sqrt {3} \sqrt [3]{a}}\right )}{3 \sqrt {3} a^{2/3} c^2}+\frac {d^{2/3} \sqrt [3]{b c-a d} \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{d} \sqrt [3]{a+b x^3}}{\sqrt [3]{b c-a d}}}{\sqrt {3}}\right )}{\sqrt {3} c^2}-\frac {(b c-3 a d) \log (x)}{6 a^{2/3} c^2}+\frac {d^{2/3} \sqrt [3]{b c-a d} \log \left (c+d x^3\right )}{6 c^2}+\frac {(b c-3 a d) \log \left (\sqrt [3]{a}-\sqrt [3]{a+b x^3}\right )}{6 a^{2/3} c^2}-\frac {d^{2/3} \sqrt [3]{b c-a d} \log \left (\sqrt [3]{b c-a d}+\sqrt [3]{d} \sqrt [3]{a+b x^3}\right )}{2 c^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.26, antiderivative size = 340, normalized size of antiderivative = 1.00, number of steps
used = 13, number of rules used = 9, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.375, Rules used = {457, 105, 162,
52, 59, 631, 210, 31, 60} \begin {gather*} -\frac {\text {ArcTan}\left (\frac {2 \sqrt [3]{a+b x^3}+\sqrt [3]{a}}{\sqrt {3} \sqrt [3]{a}}\right ) (b c-3 a d)}{3 \sqrt {3} a^{2/3} c^2}+\frac {(b c-3 a d) \log \left (\sqrt [3]{a}-\sqrt [3]{a+b x^3}\right )}{6 a^{2/3} c^2}-\frac {\log (x) (b c-3 a d)}{6 a^{2/3} c^2}+\frac {d^{2/3} \sqrt [3]{b c-a d} \text {ArcTan}\left (\frac {1-\frac {2 \sqrt [3]{d} \sqrt [3]{a+b x^3}}{\sqrt [3]{b c-a d}}}{\sqrt {3}}\right )}{\sqrt {3} c^2}+\frac {d^{2/3} \sqrt [3]{b c-a d} \log \left (c+d x^3\right )}{6 c^2}-\frac {d^{2/3} \sqrt [3]{b c-a d} \log \left (\sqrt [3]{b c-a d}+\sqrt [3]{d} \sqrt [3]{a+b x^3}\right )}{2 c^2}+\frac {d \sqrt [3]{a+b x^3}}{c^2}+\frac {\sqrt [3]{a+b x^3} (b c-3 a d)}{3 a c^2}-\frac {\left (a+b x^3\right )^{4/3}}{3 a c x^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 52
Rule 59
Rule 60
Rule 105
Rule 162
Rule 210
Rule 457
Rule 631
Rubi steps
\begin {align*} \int \frac {\sqrt [3]{a+b x^3}}{x^4 \left (c+d x^3\right )} \, dx &=\frac {1}{3} \text {Subst}\left (\int \frac {\sqrt [3]{a+b x}}{x^2 (c+d x)} \, dx,x,x^3\right )\\ &=-\frac {\left (a+b x^3\right )^{4/3}}{3 a c x^3}-\frac {\text {Subst}\left (\int \frac {\sqrt [3]{a+b x} \left (\frac {1}{3} (-b c+3 a d)-\frac {b d x}{3}\right )}{x (c+d x)} \, dx,x,x^3\right )}{3 a c}\\ &=-\frac {\left (a+b x^3\right )^{4/3}}{3 a c x^3}+\frac {d^2 \text {Subst}\left (\int \frac {\sqrt [3]{a+b x}}{c+d x} \, dx,x,x^3\right )}{3 c^2}+\frac {(b c-3 a d) \text {Subst}\left (\int \frac {\sqrt [3]{a+b x}}{x} \, dx,x,x^3\right )}{9 a c^2}\\ &=\frac {d \sqrt [3]{a+b x^3}}{c^2}+\frac {(b c-3 a d) \sqrt [3]{a+b x^3}}{3 a c^2}-\frac {\left (a+b x^3\right )^{4/3}}{3 a c x^3}+\frac {(b c-3 a d) \text {Subst}\left (\int \frac {1}{x (a+b x)^{2/3}} \, dx,x,x^3\right )}{9 c^2}-\frac {(d (b c-a d)) \text {Subst}\left (\int \frac {1}{(a+b x)^{2/3} (c+d x)} \, dx,x,x^3\right )}{3 c^2}\\ &=\frac {d \sqrt [3]{a+b x^3}}{c^2}+\frac {(b c-3 a d) \sqrt [3]{a+b x^3}}{3 a c^2}-\frac {\left (a+b x^3\right )^{4/3}}{3 a c x^3}-\frac {(b c-3 a d) \log (x)}{6 a^{2/3} c^2}+\frac {d^{2/3} \sqrt [3]{b c-a d} \log \left (c+d x^3\right )}{6 c^2}-\frac {(b c-3 a d) \text {Subst}\left (\int \frac {1}{\sqrt [3]{a}-x} \, dx,x,\sqrt [3]{a+b x^3}\right )}{6 a^{2/3} c^2}-\frac {(b c-3 a d) \text {Subst}\left (\int \frac {1}{a^{2/3}+\sqrt [3]{a} x+x^2} \, dx,x,\sqrt [3]{a+b x^3}\right )}{6 \sqrt [3]{a} c^2}-\frac {\left (d^{2/3} \sqrt [3]{b c-a d}\right ) \text {Subst}\left (\int \frac {1}{\frac {\sqrt [3]{b c-a d}}{\sqrt [3]{d}}+x} \, dx,x,\sqrt [3]{a+b x^3}\right )}{2 c^2}-\frac {\left (\sqrt [3]{d} (b c-a d)^{2/3}\right ) \text {Subst}\left (\int \frac {1}{\frac {(b c-a d)^{2/3}}{d^{2/3}}-\frac {\sqrt [3]{b c-a d} x}{\sqrt [3]{d}}+x^2} \, dx,x,\sqrt [3]{a+b x^3}\right )}{2 c^2}\\ &=\frac {d \sqrt [3]{a+b x^3}}{c^2}+\frac {(b c-3 a d) \sqrt [3]{a+b x^3}}{3 a c^2}-\frac {\left (a+b x^3\right )^{4/3}}{3 a c x^3}-\frac {(b c-3 a d) \log (x)}{6 a^{2/3} c^2}+\frac {d^{2/3} \sqrt [3]{b c-a d} \log \left (c+d x^3\right )}{6 c^2}+\frac {(b c-3 a d) \log \left (\sqrt [3]{a}-\sqrt [3]{a+b x^3}\right )}{6 a^{2/3} c^2}-\frac {d^{2/3} \sqrt [3]{b c-a d} \log \left (\sqrt [3]{b c-a d}+\sqrt [3]{d} \sqrt [3]{a+b x^3}\right )}{2 c^2}+\frac {(b c-3 a d) \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1+\frac {2 \sqrt [3]{a+b x^3}}{\sqrt [3]{a}}\right )}{3 a^{2/3} c^2}-\frac {\left (d^{2/3} \sqrt [3]{b c-a d}\right ) \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1-\frac {2 \sqrt [3]{d} \sqrt [3]{a+b x^3}}{\sqrt [3]{b c-a d}}\right )}{c^2}\\ &=\frac {d \sqrt [3]{a+b x^3}}{c^2}+\frac {(b c-3 a d) \sqrt [3]{a+b x^3}}{3 a c^2}-\frac {\left (a+b x^3\right )^{4/3}}{3 a c x^3}-\frac {(b c-3 a d) \tan ^{-1}\left (\frac {1+\frac {2 \sqrt [3]{a+b x^3}}{\sqrt [3]{a}}}{\sqrt {3}}\right )}{3 \sqrt {3} a^{2/3} c^2}+\frac {d^{2/3} \sqrt [3]{b c-a d} \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{d} \sqrt [3]{a+b x^3}}{\sqrt [3]{b c-a d}}}{\sqrt {3}}\right )}{\sqrt {3} c^2}-\frac {(b c-3 a d) \log (x)}{6 a^{2/3} c^2}+\frac {d^{2/3} \sqrt [3]{b c-a d} \log \left (c+d x^3\right )}{6 c^2}+\frac {(b c-3 a d) \log \left (\sqrt [3]{a}-\sqrt [3]{a+b x^3}\right )}{6 a^{2/3} c^2}-\frac {d^{2/3} \sqrt [3]{b c-a d} \log \left (\sqrt [3]{b c-a d}+\sqrt [3]{d} \sqrt [3]{a+b x^3}\right )}{2 c^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.63, size = 351, normalized size = 1.03 \begin {gather*} \frac {-\frac {6 c \sqrt [3]{a+b x^3}}{x^3}+\frac {2 \sqrt {3} (-b c+3 a d) \tan ^{-1}\left (\frac {1+\frac {2 \sqrt [3]{a+b x^3}}{\sqrt [3]{a}}}{\sqrt {3}}\right )}{a^{2/3}}+6 \sqrt {3} d^{2/3} \sqrt [3]{b c-a d} \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{d} \sqrt [3]{a+b x^3}}{\sqrt [3]{b c-a d}}}{\sqrt {3}}\right )+\frac {2 (b c-3 a d) \log \left (-\sqrt [3]{a}+\sqrt [3]{a+b x^3}\right )}{a^{2/3}}-6 d^{2/3} \sqrt [3]{b c-a d} \log \left (\sqrt [3]{b c-a d}+\sqrt [3]{d} \sqrt [3]{a+b x^3}\right )+\frac {(-b c+3 a d) \log \left (a^{2/3}+\sqrt [3]{a} \sqrt [3]{a+b x^3}+\left (a+b x^3\right )^{2/3}\right )}{a^{2/3}}+3 d^{2/3} \sqrt [3]{b c-a d} \log \left ((b c-a d)^{2/3}-\sqrt [3]{d} \sqrt [3]{b c-a d} \sqrt [3]{a+b x^3}+d^{2/3} \left (a+b x^3\right )^{2/3}\right )}{18 c^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.01, size = 0, normalized size = 0.00 \[\int \frac {\left (b \,x^{3}+a \right )^{\frac {1}{3}}}{x^{4} \left (d \,x^{3}+c \right )}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 3.70, size = 429, normalized size = 1.26 \begin {gather*} -\frac {6 \, \sqrt {3} {\left (-b c d^{2} + a d^{3}\right )}^{\frac {1}{3}} a^{2} x^{3} \arctan \left (-\frac {2 \, \sqrt {3} {\left (-b c d^{2} + a d^{3}\right )}^{\frac {2}{3}} {\left (b x^{3} + a\right )}^{\frac {1}{3}} - \sqrt {3} {\left (b c d - a d^{2}\right )}}{3 \, {\left (b c d - a d^{2}\right )}}\right ) + 3 \, {\left (-b c d^{2} + a d^{3}\right )}^{\frac {1}{3}} a^{2} x^{3} \log \left ({\left (b x^{3} + a\right )}^{\frac {2}{3}} d^{2} + {\left (-b c d^{2} + a d^{3}\right )}^{\frac {1}{3}} {\left (b x^{3} + a\right )}^{\frac {1}{3}} d + {\left (-b c d^{2} + a d^{3}\right )}^{\frac {2}{3}}\right ) - 6 \, {\left (-b c d^{2} + a d^{3}\right )}^{\frac {1}{3}} a^{2} x^{3} \log \left ({\left (b x^{3} + a\right )}^{\frac {1}{3}} d - {\left (-b c d^{2} + a d^{3}\right )}^{\frac {1}{3}}\right ) + 2 \, \sqrt {3} {\left (a b c - 3 \, a^{2} d\right )} x^{3} \sqrt {-\left (-a^{2}\right )^{\frac {1}{3}}} \arctan \left (-\frac {{\left (\sqrt {3} \left (-a^{2}\right )^{\frac {1}{3}} a - 2 \, \sqrt {3} {\left (b x^{3} + a\right )}^{\frac {1}{3}} \left (-a^{2}\right )^{\frac {2}{3}}\right )} \sqrt {-\left (-a^{2}\right )^{\frac {1}{3}}}}{3 \, a^{2}}\right ) + \left (-a^{2}\right )^{\frac {2}{3}} {\left (b c - 3 \, a d\right )} x^{3} \log \left ({\left (b x^{3} + a\right )}^{\frac {2}{3}} a - \left (-a^{2}\right )^{\frac {1}{3}} a + {\left (b x^{3} + a\right )}^{\frac {1}{3}} \left (-a^{2}\right )^{\frac {2}{3}}\right ) - 2 \, \left (-a^{2}\right )^{\frac {2}{3}} {\left (b c - 3 \, a d\right )} x^{3} \log \left ({\left (b x^{3} + a\right )}^{\frac {1}{3}} a - \left (-a^{2}\right )^{\frac {2}{3}}\right ) + 6 \, {\left (b x^{3} + a\right )}^{\frac {1}{3}} a^{2} c}{18 \, a^{2} c^{2} x^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sqrt [3]{a + b x^{3}}}{x^{4} \left (c + d x^{3}\right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.89, size = 351, normalized size = 1.03 \begin {gather*} \frac {{\left (b c d - a d^{2}\right )} \left (-\frac {b c - a d}{d}\right )^{\frac {1}{3}} \log \left ({\left | {\left (b x^{3} + a\right )}^{\frac {1}{3}} - \left (-\frac {b c - a d}{d}\right )^{\frac {1}{3}} \right |}\right )}{3 \, {\left (b c^{3} - a c^{2} d\right )}} - \frac {\sqrt {3} {\left (b c - 3 \, a d\right )} \arctan \left (\frac {\sqrt {3} {\left (2 \, {\left (b x^{3} + a\right )}^{\frac {1}{3}} + a^{\frac {1}{3}}\right )}}{3 \, a^{\frac {1}{3}}}\right )}{9 \, a^{\frac {2}{3}} c^{2}} - \frac {\sqrt {3} {\left (-b c d^{2} + a d^{3}\right )}^{\frac {1}{3}} \arctan \left (\frac {\sqrt {3} {\left (2 \, {\left (b x^{3} + a\right )}^{\frac {1}{3}} + \left (-\frac {b c - a d}{d}\right )^{\frac {1}{3}}\right )}}{3 \, \left (-\frac {b c - a d}{d}\right )^{\frac {1}{3}}}\right )}{3 \, c^{2}} - \frac {{\left (b c - 3 \, a d\right )} \log \left ({\left (b x^{3} + a\right )}^{\frac {2}{3}} + {\left (b x^{3} + a\right )}^{\frac {1}{3}} a^{\frac {1}{3}} + a^{\frac {2}{3}}\right )}{18 \, a^{\frac {2}{3}} c^{2}} - \frac {{\left (-b c d^{2} + a d^{3}\right )}^{\frac {1}{3}} \log \left ({\left (b x^{3} + a\right )}^{\frac {2}{3}} + {\left (b x^{3} + a\right )}^{\frac {1}{3}} \left (-\frac {b c - a d}{d}\right )^{\frac {1}{3}} + \left (-\frac {b c - a d}{d}\right )^{\frac {2}{3}}\right )}{6 \, c^{2}} + \frac {{\left (b c - 3 \, a d\right )} \log \left ({\left | {\left (b x^{3} + a\right )}^{\frac {1}{3}} - a^{\frac {1}{3}} \right |}\right )}{9 \, a^{\frac {2}{3}} c^{2}} - \frac {{\left (b x^{3} + a\right )}^{\frac {1}{3}}}{3 \, c x^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 9.99, size = 1917, normalized size = 5.64 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________